#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

typedef int pid_t;

#define MAX_PROCESS_CNT 30

void syscall_init (void);
void force_exit (int status);

#endif /* userprog/syscall.h  */
